Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων
1
Structures of Computing: A Guide to Practice-Oriented Theory

Structures of Computing: A Guide to Practice-Oriented Theory

Έτος:
2024
Γλώσσα:
english
Αρχείο:
PDF, 6.12 MB
5.0 / 5.0
english, 2024
2
Abstract state machines A method for high level system design and analysis

Abstract state machines A method for high level system design and analysis

Έτος:
2003
Γλώσσα:
english
Αρχείο:
PDF, 22.25 MB
0 / 0
english, 2003
4
High Level System Design and Analysis using Abstract State Machines

High Level System Design and Analysis using Abstract State Machines

Γλώσσα:
english
Αρχείο:
PDF, 399 KB
0 / 0
english
10
Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Έτος:
1990
Γλώσσα:
english
Αρχείο:
DJVU, 5.86 MB
0 / 0
english, 1990
13
Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation

Έτος:
2001
Γλώσσα:
english
Αρχείο:
PDF, 2.38 MB
0 / 0
english, 2001
15
Modeling Companion for Software Practitioners

Modeling Companion for Software Practitioners

Έτος:
2018
Γλώσσα:
english
Αρχείο:
PDF, 4.66 MB
0 / 0
english, 2018
16
Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation

Έτος:
2001
Γλώσσα:
english
Αρχείο:
PDF, 7.14 MB
0 / 0
english, 2001
17
Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Έτος:
2012
Γλώσσα:
english
Αρχείο:
PDF, 22.95 MB
0 / 0
english, 2012
18
Architecture Design and Validation Methods

Architecture Design and Validation Methods

Έτος:
2000
Γλώσσα:
english
Αρχείο:
PDF, 9.56 MB
0 / 0
english, 2000
19
The Classical Decision Problem

The Classical Decision Problem

Έτος:
1997
Γλώσσα:
english
Αρχείο:
DJVU, 5.98 MB
0 / 0
english, 1997
21
Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Έτος:
1992
Γλώσσα:
german
Αρχείο:
PDF, 11.06 MB
0 / 0
german, 1992
24
Computation Theory and Logic

Computation Theory and Logic

Έτος:
1987
Γλώσσα:
english
Αρχείο:
DJVU, 4.50 MB
0 / 0
english, 1987
25
The classical decision problem

The classical decision problem

Έτος:
1997
Γλώσσα:
english
Αρχείο:
DJVU, 4.69 MB
0 / 0
english, 1997
28
Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Έτος:
2000
Γλώσσα:
english
Αρχείο:
PDF, 3.75 MB
0 / 0
english, 2000
35
Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Έτος:
2000
Γλώσσα:
english
Αρχείο:
PDF, 3.80 MB
0 / 0
english, 2000